/***
Codemirror Plugin
***/

.CodeMirror {
	border: 1px solid #eee;
	height: auto;
}